#ifndef H_DEVICES_H
#define H_DEVICES_H

extern int fdFPGA;
extern int fdTOD;
extern int fdRbSRO;
extern int fdEB;
extern int fdEB2;
//extern int fdRbSRO;
extern int fdDUAL;
//extern int fdRLOG;

extern void set_tty(int fd, int baud, int port);
extern void console_recover(void);
extern int abortboot(int startdelay);

#endif



